import __00SetRelation as sr
import _00SetFunc as ss 

#构建模关系
m,n=15,5
X=set(range(m))
R=sr.modm(m,n)
tv=sr.isreflexive(X,R) and sr.issymmetric(X,R) and sr.istransitive (X,R)
ss.drawgraph(R)
print("R",R)
print(tv)